Riccardo De Masellis
demasellis@dis.uniroma1.it
Contact and personal infos:
Research Area:
Automated Service Composition, Verification & Synthesis of Artifact-Centric Workflows, Ontology-Based Data Access.
Interests:
Logic, Computation, Verification, Databases.
- Phone: +39 06 77274 107
- Email: demasellis@dis.uniroma1.it
- Personal site: www.dis.uniroma1.it/~demasellis
Research Area:
Automated Service Composition, Verification & Synthesis of Artifact-Centric Workflows, Ontology-Based Data Access.
Interests:
Logic, Computation, Verification, Databases.
| Participation to PhD school | |||||
| Description | External site | Year | |||
| European Summer School on Logics Language and Information (ESSLLI 2011) | Link | 2011 | |||
| Bertinoro international Spring School (BISS) | Link | 2011 | |||
| Participation to national and international research projects | |||||
| Description | External site | Year | |||
| Smart Homes for All: An Embedded Middleware Platform for Pervasive and Immersive Environments For-All | Link | 2009 | |||
| Artifact-Centric Service Interoperation | Link | 2010, 2011 | |||
| Participation to conferences/workshops | |||||
| Description | External site | Year | |||
| The Eighth International Conference on Service Oriented Computing (ICSOC) | Link | 2010 | |||
| 11th Conference of the Italian Association for Artificial Intelligence (AI*IA) | Link | 2009 | |||
| 9th International Conference on Business Process Management (BPM) | Link | 2011 | |||
| Long stay visiting research periods | |||||
| Description | External site | Year | |||
| Research Internship at IBM T.J. Watson Research Center (Hawthorne, New York) | 2010 | ||||
| Title | Autor(s) | Published in | Year | |
|---|---|---|---|---|
| 1 | Foundations of Relational Artifacts Verification | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis and Paolo Felli | 9th International Conference on Business Process Management (BPM) | 2011 |
| 2 | Verification of Conjunctive-Query Based Semantic Artifacts | B. Bagheri Hariri, D. Calvanese, G. De Giacomo, and R. De Masellis | 24th International Workshop on Description Logics (DL) | 2011 |
| 3 | Business Entities with Guard-Stage-Milestone Lifecycles: Managing Entity Interactions with Conditions and Events | R. Hull, E. Damaggio, R. De Masellis, F. Fournier, M. Gupta, F. Heat III, S. Hobson, M. Linehan, S. Maradugu, A. Nigam, P. Sukaviriya, and R. Vaculin | 5th ACM International Conference on Distributed Event-Based Systems (DEBS) | 2011 |
| 4 | Smart Home Planning Programs | R. De Masellis, C. Di Ciccio, M. Mecella, F. Patrizi | International Conference on Service Systems and Service Management (ICSSSM) | 2010 |
| 5 | Conjunctive Artifact-Centric Services | P. Cangialosi, G. De Giacomo, R. De Masellis, R. Rosati | International Conference on Service Oriented Computing (ICSOC) | 2010 |
| 6 | Automated Composition of Partially Observable Services Exporting Their Behaviour | G. De Giacomo, R. De Masellis, F. Patrizi | International Conference on Automated Planning and Scheduling (ICAPS) | 2009 |
Latest News
Random Student
Click here to submit a candidature to becom PhD student.
